Grok 4 Heavy (left) V.s. Gemini 2.5 Pro (right) Create a Turing-complete Scheme interpreter in C that supports lexical scoping, closures, continuations, and proper tail-call for tail recursion without stack growth. Grok4 won. It wrote superior code. Grok4 Heavy: 903 Lines of C , page 5

分享一个链接

发表一篇文章

任何有趣的，图片，热点新闻，视频，文字...

4473 位用户此时在线

24小时点击排行 Top 10：

Watch video

Watch video

Watch video

伊斯蘭惡俗對女性的歧視令人發指，女性在伊斯蘭惡俗中毫無地位，她們隨時被男人毆打虐待。《古蘭經》定義她們為牛羊驢馬，《古蘭經》要求男人必須經常抽打她們，讓她們絕對服從男人。

六四镇压学生暴行被路透社拍到，坦克车碾碎学生，装甲车机枪扫射全记录！

🔥 六四天安门事件前的真實視頻1989🫢

中國高根男社會主義接班人⋯⋯

水母裙，高定成精了不得不说，这个模特选得真好~

A self-proclaimed “journalist” — a vlogger, a Fang Fang lookalike 🇨🇳 national living in Chicago by the name of Yang Shuangyi (杨双一) aka Midu Yang, mingled with US naval officers and soldiers, and toured USS Essex — apparently an exclusive personal tour — during LA Fleet Week

震惊！万亿华人首富失落中国市场颓废瘫坐烧烤档深夜买醉……🌚

很现实，哪有那么多富豪女

Watch video

It is Vietnam or China?

肿瘤患者已经很可怜了！一位离职医生曝光基因检测内幕，令人震惊！

6月1日，柬埔寨，一位疑似中国籍涉诈人员满身伤痕，被扔在了电诈园区外的大街上。

家长吐槽：六一儿童节当天带孩子游览植物园时，偶遇机器人表演。结果在机器人展示飞踢动作时，孩子不幸被踢中腹部痛苦倒地，工作人员没有任何反应，问都没问一下！事后已报警处理，但园区负责人的处理态度同样令人不满意。。。

两个人抢一根肉棒吃👅👅 是不是男人都想这样玩🥵🥵

🌟如何運動加強腎臟! 讓你每天精力旺盛

Chinese bosses beating African workers — this is Beijing’s ‘win-win’ in Africa. Zero tariffs on African imports since May 2026, but the real winners? Chinese companies extracting resources tariff-free, with on-site brutality and full blessing from African governments. Debt

香格里拉防長峰會，小泉進次郎對中國軍方代表說「代我向董军問好。」中方：「向澳洲道歉卻不向中國道歉，你們怎麼說？」小泉：「日本的防衛政策不針對第三方。貴國倒是一直在增加軍費，且透明度不足，這一點已引起日本以及國際社會的高度關切...」「對了，請代我向董軍部長致以誠摯問候，謝謝。」

6月2日，北大饶毅公开直言中国学术不端的数量和比例都是世界第一饶毅曾于2011年公开宣布“永远退出院士评选”，日前在北大演讲直言，中国在科学的学术不端方面同样“创造了世界历史纪录”。他强调，这不仅是因为中国科研体量大导致违规绝对数量多，更在于不端的“实际比例”在世界历史上也是空前的。

伊朗轰炸了科威特机场

🌈高分電影分享【大陸禁片經典】霸王别姬 (張國榮主演)｜文化大革命如何摧毀中國傳統文化!京劇被當「四舊」批判、演員被迫互相揭發、人性遭扭曲的悲情歲月🎆

陕西汉中市民举报出租车遮挡车牌后，被司机到家门口蹲守拍摄并遭威胁

“娜塔莎”玩偶争议扩散海外，众多黑人博主批评其带有种族歧视意味近期在中国走红的“娜塔莎”玩偶，也在外网引发种族歧视争议。该玩偶常见版本是黑皮肤婴儿形象，而国内许多公开视频把它作为“解压对象”进行摔打、踩踏、针扎、切割和所谓“解剖”。

本站自动实时分享网络热点
24小时实时更新
所有言论不代表本站态度
欢迎对信息踊跃评论评分
评分越高，信息越新，排列越靠前

2

1

0

Grok 4 Heavy (left) V.s. Gemini 2.5 Pro (right)
Create a Turing-complete Scheme interpreter in C that supports lexical scoping, closures, continuations, and proper tail-call for tail recursion without stack growth.
Grok4 won. It wrote superior code.
Grok4 Heavy: 903 Lines of C
btc
( twitter.com )

10个月前由 Tetsuo 提交

Grok 4 Heavy (left) V.s. Gemini 2.5 Pro (right)

Create a Turing-complete Scheme interpreter in C that supports lexical scoping, closures, continuations, and proper tail-call for tail recursion without stack growth.

Grok4 won. It wrote superior code.

Grok4 Heavy: 903 Lines of C code.
Gemini 2.5 Pro: 891 Lines of C code.

Both compiled!

The code from Grok 4 Heavy worked flawlessly.
The code from Gemini 2.5 Pro did not work even after multiple prompts.

Grok 4 Heavy: ~10 minutes single prompt.
Gemini 2.5 Pro: ~2-3 minutes per prompt after about 10 prompts I gave up.

Full Prompt👇

点击图片查看原图

1周内 1个月内 1年内全部时间

1
2
3
4
5
6
7
8
9
10
...
400
下一页

1

2

1

1

Grok 4 is still at the top Vending-Bench Leaderboard
Even with many new models released, none have come close to catching up
Grok 4 is just hard to beat and has sold almost double the number of units as the next closest model
btc
( twitter.com)

6个月前 • X Freeze 0 评论

2

2

1

1

BREAKING 🚨 Grok 4 Fast claims rank no. 1 today on OpenRouter crossing Grok Code Fast.
xAI is its own competition and continues to dominate the leaderboard with top 2 positions consistently by a huge margin.
Imagine what happens when Grok 4.1 releases soon.
btc
( twitter.com)

8个月前 • Prashant 0 评论

3

2

1

1

Starship Super Heavy
btc
( twitter.com)

11个月前 • Elon Musk 0 评论

4

2

1

1

Grok Code rocketed to #3 on Kilo Code’s monthly leaderboard, in under 4 days since release
btc
( twitter.com)

9个月前 • X Freeze 0 评论

5

2

1

1

BREAKING 🚨 xAI launches Grok 4 Fast as the pinnacle of intelligence.
- 2M context window
- 47x cheaper than Grok 4
- beats GPT-5 mini (high) on multiple benchmarks
- 40% fewer thinking tokens on average
- $0.2 Input, $0.5 Output for both reasoning and non-reasoning mode
- No.
btc
( twitter.com)

8个月前 • Prashant 0 评论

6

2

1

1

Grok Imagine adheres to prompts generating videos with Hollywood-level precision
Mention these camera controls in your prompts for pure movie magic:
Pan: The camera rotates horizontally, either left or right, from a fixed point. Imagine turning your head from side to side
btc
( twitter.com)

7个月前 • X Freeze 0 评论

7

2

1

1

Grok Becomes State-of-the-Art Champion at the International Olympiad in Informatics.
Grok has secured the first place on both the 2024 and 2025 programming exams. This back-to-back victory confirms Grok 4 as the leading AI in algorithmic thinking and C++ coding performance.
btc
( twitter.com)

9个月前 • SMX 🇺🇸 0 评论

8

2

1

1

Starship Super Heavy Booster
btc
( twitter.com)

1年前 • Elon Musk 0 评论

9

2

1

1

Introducing Grok 4, the world's most powerful AI model.
Watch the livestream with and the team now.

btc
( X.com)

10个月前 • Engineering 0 评论

10

2

1

1

What are the most important improvements to make to Grok 4 Fast?
Critical feedback is much appreciated.
btc
( twitter.com)

6个月前 • Elon Musk 0 评论

11

2

1

1

Flight 10 Super Heavy Booster
btc
( twitter.com)

1年前 • Elon Musk • 下载视频 0 评论

00:00:11

12

2

1

1

Super Heavy Booster catch 🤩
btc
( twitter.com)

11个月前 • Yasin Shafiei • 下载视频 0 评论

00:01:03

13

2

1

1

GROK 4 SEES, TALKS, AND THINKS OUT LOUD
It doesn’t just chat - it watches, analyzes, and answers in real time.
Grok 4’s voice mode is scary good now: more human, less robot, and yes - it speaks Spanish, French, Japanese, and even rambles like it’s got thoughts of its own.
You
btc
( twitter.com)

10个月前 • Mario Nawfal • 下载视频 0 评论

00:00:50

14

2

1

1

ELON: GROK 4 FIXES YOUR CODE BETTER THAN CURSOR
Tired of rage-scrolling Stack Overflow at 2am?
Just copy-paste your entire broken mess into Grok 4 and it will sniff out the bugs like a bloodhound, explain what went wrong, and hand you cleaner code in seconds.
No IDE plugins.
btc
( twitter.com)

10个月前 • Mario Nawfal 0 评论

15

2

1

1

ChatGPT is useful, but I haven't used it much because I don't really like it... I would rather use other AI tools such as Google Gemini or Perplexity...
Nowadays Grok 4 is my primary and Google Gemini is my secondary...
I use Grok 4 more than any other artificial intelligence
btc
( twitter.com)

9个月前 • Alasdair Sinclair 0 评论

16

2

1

1

ELON DROPS GROK 4'S EVE VOICE MODE WITH STUNNING BRITISH ACCENT
Elon is hyping Grok 4's killer new voice mode, EVE, with a gorgeous British lilt that's got everyone swooning!
He calls it "so beautiful," and users are raving it's the best yet, with snappier responses with half
btc
( twitter.com)

6个月前 • Mario Nawfal • 下载视频 0 评论

00:02:41

17

2

1

1

Incredible footage from Falcon Heavy Launch
有趣
( twitter.com)

2年前 • Amazing Astronomy • 下载视频 0 评论

00:00:33

18

2

1

1

Gotta tip him heavy after this
有趣
( twitter.com)

2年前 • Lance🇱🇨 • 下载视频 0 评论

00:00:26

19

2

1

1

Seven good years of Falcon Heavy
btc
( twitter.com)

1年前 • Elon Musk 0 评论

20

2

1

1

Starship at Cape Canaveral: “SpaceX would launch Starship-Super Heavy from SLC-37 up to 76 times per year. This would also include 76 Starship static-fire tests, 76 Super Heavy static-fire tests, 76 Super Heavy landings, and 76 Starship landings. Approximately half of the
btc
( twitter.com)

1年前 • John Kraus 0 评论

21

2

1

1

GrokPromptFun uses the xAI API to analyze images and provide optimized prompts for Grok Imagine. You can also enter brief image descriptions and get improved Imagine prompts.
Entire webpage was built using Grok 4!
It's free to use.
btc
( twitter.com)

9个月前 • Tetsuo • 下载视频 0 评论

00:00:27

22

2

1

1

The best way to create art with Grok 4 Imagine is by using the speak button to describe your art.
btc
( twitter.com)

9个月前 • Tetsuo • 下载视频 0 评论

00:00:54

23

2

1

1

BREAKING: Grok is now the #2 Productivity app and #4 overall app on the AppStore in Hong Kong. 🇭🇰🥇
btc
( twitter.com)

7个月前 • DogeDesigner • 下载视频 0 评论

00:00:22

24

2

1

1

Grok 4 Fast has multimodal reasoning capabilities and is the first AI model to solve this task correctly!
Screenshot by
btc
( twitter.com)

8个月前 • Mark Kretschmann 0 评论

25

2

1

1

New: see the most popular LLMs for different languages on OpenRouter
Here's Grok 4 Fast dominating German prompts and completions:
btc
( twitter.com)

8个月前 • OpenRouter 0 评论

1
2
3
4
5
6
7
8
9
10
...
400
下一页